grabHelper: Set _grabbedFromKeynav

This one got lost in commit b203a95a7.

https://bugzilla.gnome.org/show_bug.cgi?id=683546

diff --git a/js/ui/grabHelper.js b/js/ui/grabHelper.js
index fee72c51e502c3542a97cccbf492effc6dffb07a..6af5480a876c3ac02d55efea8be1ae3402547c1e 100644 (file)
--- a/js/ui/grabHelper.js
+++ b/js/ui/grabHelper.js
@@ -203,7 +203,7 @@ const GrabHelper = new Lang.Class({
         global.sync_pointer();
     },
 
-    _takeFocusGrab: function() {
+    _takeFocusGrab: function(hadFocus) {
         let firstGrab = (this._grabFocusCount == 0);
         this._grabFocusCount++;
         if (!firstGrab)
@@ -211,6 +211,7 @@ const GrabHelper = new Lang.Class({
 
         let metaDisplay = global.screen.get_display();
 
+        this._grabbedFromKeynav = hadFocus;
         this._preGrabInputMode = global.stage_input_mode;
         this._prevFocusedWindow = metaDisplay.focus_window;